An introductory programming textbook for students using SML. The text teaches SML program design based on a set of simple, clean and powerful concepts. It emphasizes mathematical structures, modelling and abstraction as a basis for programming.[...]

This comprehensive introduction to the principles of functional programming using F# shows how to apply basic theoretical concepts to produce succinct and elegant programs. It demonstrates the role of functional programming in a wide spectrum of applications including databases and systems. Coverage[...]